KING'S COLLEGE HOSPITAL. C A S E S, WITH CLINICAL OBSERVATIONS,

T L  C S C A  E E  M Sat S

The Boolean Satisfiability (SAT) decision problem can be deservedly declared a success story of computer science. Although SAT was the first problem to be proved NP-complete, the last decade and a half have seen dramatic improvements in the performance of SAT solvers on many practical problem instances. These performance improvements enabled a wide range of real-world applications, several of w...

S P E C I a L I S S U E a Rt I C L E Market Games with Asymmetric Information: the Core

This paper concerns cores of economies with asymmetric information. Alternative definitions of the information available to traders in coalitions and the cooperative games they generate are analyzed. An important technical result states that such NTU games in characteristic function form are well defined. Properties of various cores with asymmetric information are examined. Sufficient condition...

R-e-s-p-e-c-t.

Alex Muncy was still an apprentice at STIHL Inc. when the company enlisted him in revamping an automated packaging process. The package would contain the outdoor power equipment manufacturer’s signature trimmer line, the colorful cord used to give lawns a precise, neat appearance. The goal: satisfy the customer while cutting production costs. Muncy’s team developed a concept, designed the packa...

S E a R C H

A C a S E S Pe C I F Ic a Pproac H

Should the fact that a criminal off ender lives in a society that fails to give him what he ‘deserves’ in terms of economic or political or social rights aff ect the determination of what he ‘deserves’ from that society in terms of punishment? More generally, to what extent is the fairness of a given system of retributive justice dependent on the fairness of the system of distributive or socioe...